Simple and projective correspondence functors

A correspondence functor is a from the category of finite sets and correspondences to k k -modules, where commutative ring. We determine exactly which simple functors are projective. also modules projective for algebra all relations on set. Moreover, we analyze occurrence such inside alttext="upper F"> F encoding="application/x-tex">F associated with lattice deduce direct sum decomposition .